（来源：上观新闻）
图丨自上而下的👩👦👦规约生🦌🍷成新范式（来📦源：a✈💦rXiv）🕦🤖 在推🚫🕵️♀️理过程的↗🕉可靠性👩👧👧方面，研🤾♀️究团队并不是直🚛💁♂️接让 LLM 判🇮🇶🦉断代码是📋否正确，而是将😰🦀思维链（Ch💪ain of 🍔😊Thought🤵）与霍尔逻辑的推😸🚁理规则🇧🇲相结合🏋，引导 LL🐱🍴M 逐🇵🇳🇱🇾步推导每个代码💣块执行后📄🎓程序状👨🚒👨🦳态所满足😱色 英文的性质，最👨🦳终检查程序状态👩👩👧是否符合“说明👁🦸♂️书”的要求📱🍪。
当一切商业运😅↕行逻辑⏮都在自洽，可🙋♂️这极具🏛❇反差感的两极🦅🧚♀️，始终👩⚕️🏳聚集着🔧这家公司🍡与这个舵手👩👩👦👦，难免令🅰🐰人观感复杂🤠🐿。小米汽车今年👠🔮的热度在激🇦🇿🔷烈的竞争中也🥦🇵🇰有所降温，新一代🚱小米SU7是比较🈸直观的例子🏗☄。
真正的标尺🧬🤨，是能否在真实世🤤☑界中实现智能⚙🍺体的有效行动与🥕🦡自主决策🍅🚲。所以这两种手段不📵是非此🦞即彼的二元🇲🇵选择，更多🐶需要有选🐗🗺择性地处*️⃣理：H🐨arness 🏃♀️处理已知风险，G🔞🍎ate 保留给🦝👷♀️色 英文未知风险🍖🇪🇨。
